The current study aims to establish a connection between graphs and automata theory, which apparently demonstrate di erent mathematical structures. Through searching out some properties of one of these structures, we try to  nd some new properties of the other structure as well. This will result in obtaining some unknown properties. At  rst, a novel automaton called zero-forcing (Z-F)  nite automata is de ned according to the notion of a zero-forcing set of a graph. It is shown that for a given graph and for some zero forcing sets, various Z-F- nite automata will be obtained. In addition, the language and the closure properties of Z-F- nite automata, in particular; union, connection, and serial connection are studied. Moreover, considering some properties of graphs such as the closed trail, connected and complete; some new features for Z-F- nite automata are presented. Further, it is shown that there is not any  nite graph such that f be a part of the language of its Z-F- nite automata. Actually, it is proved that for every given graph, the Z-F- nite automata of it does not show any closed trail containing all edges for every zero forcing set, but if the graph G has been a closed trail containing all edges, then the Z-F- nite automata of it has a weak closed trail containing all edges. Some examples are also given to clarify these new notions.

Let be a simple connected graph. A perfect matching (or Kekul'e structure in chemical literature) of is a set of disjoint edges which covers all vertices of . The anti-forcing number of is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by . For every , the th power of , denoted by , is a graph with the same vertex set as such that two vertices are adjacent in if and only if their distance is at most in . In this paper, we study the anti-forcing number of the powers of some graphs.

In this paper, for a given graph, G, some domination parameters and the forcing domination number of the graph, M (G), obtained from G arising in Mycielski's construction, are studied.

The zero forcing number of a graph $G$, denoted $Z(G)$, is a graph parameter  which is based on a color change rule that describes how to color the vertices. Zero forcing is useful in several branches of science such as electrical engineering, computational complexity and quantum control.  In this paper, we investigate the zero forcing number for Cartesian products of some graphs. The main contribution of this paper is to introduce a new presentation of the Cartesian product of two complete bipartite graphs and to obtain the zero forcing number of these graphs.  We also introduce a purely graph theoretical method to prove $Z(K_n \Box K_m)=mn-m-n+2$.

The zero forcing number of a graph is the minimum cardinality among all the zero forcing sets of a graph $G$.  The aim of this article is to compute the zero forcing number of complementary prism graphs.  Some bounds on the zero forcing number of complementary prism graphs are presented. The remainder of this article discusses the following result.  Let $G$ and $\overline{G }$ be connected graphs. Then $Z(G\overline{G})\leq n-1$ if and only if  there exists two vertices $v_i,v_j \in V(G)$ and $i\neq j$ such that, either $N(v_i) \subseteq N(v_j)$ or $N[v_i] \subseteq N[v_j]$ in $G$.